/*
 * drv_uart.h
 *
 *  Created on: Oct 14, 2013
 *      Author: Omar Sevilla
 */

#ifndef DRV_UART_H_
#define DRV_UART_H_


void init_uart(void);
void uart0_putchar(char ch);
void uart1_putchar(char ch);
char uart0_getchar(void);
char uart1_getchar(void);
int uart_getchar_present(void);
#endif /* DRV_UART_H_ */
